package model.preprocessor;

/**
 * Status of a preprocessor execution
 * @author stephane
 *
 */
public enum PreProcessorResultStatus {
	TIMEOUT_REACHED("Problem : timeout has been reached"),
	OK("OK : preprocessing completed"),
	PROBLEM("Error : a probleme occured during the preprocessing"),
	UNSATISFIABLE("The CNF is unsatisfiable !"),
	SATISFIABLE("The CNF is satisfiable !");
	
	public String getDescription() {
		return description;
	}

	private String description;
	
	private PreProcessorResultStatus(String description){
		this.description = description;
	}
	
}
